upper bound

An upper bound of two elements x and y under some relation

#@= is an element z such that x #@= z and y #@= z.

("#@=" is written in LaTeX as sqsubseteq).

See also least upper bound.

(1995-02-15)